161. Set Operads in Combinatorics and Computer Science
پدیدآورنده: \ Miguel A. Méndez
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Decomposition method,روش تجزیه,a02,a02,Operads.,Computer science -- Mathematics,علوم کامپیوتر -- ریاضیات
رده :
QA
169
.
M4S4
2015
E-Book
,
162. Similarity-Based Pattern Recognition.
پدیدآورنده: \ Aasa Feragen , Marcello Pelillo, Marco Loog (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Algorithms,کامپیوتر,الگوریتم‌ها,a04,a05,a04,a05,Pattern recognition systems -- Congresses.,الگوشناسی -- سیستم‌ها -- کنگره‌ها
رده :
TK
7882
.
S5
2015
E-Book
,
163. Smart Learning Objects for Smart Education in Computer Science
پدیدآورنده: \ Vytautas S ˇ tuikys
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer - assisted instruction ,Computer managed instruction,آموزش به کمک کامپیوتر ,a04,a04,a04,Computer science -- Study and teaching.,علوم کامپیوتر -- راهنمای آموزشی
رده :
QA
76
.
27
.
S7S6
2015
E-Book
,
164. Social Informatics
پدیدآورنده: \ Tie-Yan Liu , Christie Napa Scollon, Wenwu Zhu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Data mining ,کامپیوتر,داده‌کاوی ,a04,a05,a04,a05,Information technology -- Social aspects -- Congresses.,تکنولوژی اطلاعات -- جنبه‌های اجتماعی -- کنگره‌ها
رده :
HC
79
.
I55S62
2015
E-Book
,
165. Social Robotics.
پدیدآورنده: \ [Edited by] Adriana Tapus...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Artificial intelligence,هوش مصنوعی,کامپیوتر,a03,a03,a03,a03,User interfaces (Computer systems),رابط نرم‌افزاری
رده :
QA
76
.
S62
2015
E-Book
,
166. Software Engineering for Collective Autonomic Systems
پدیدآورنده: \ [Edited by] MartinWirsing...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Software engineering.,Autonomic computing.,مهندسی نرم افزار ,محاسبات خودمختار
رده :
QA
76
.
76
.
S62
2015
E-Book
,
167. Software Technologies
پدیدآورنده: \ edited by Andreas Holzinger...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer software -- Congresses.,Software engineering -- Congresses.,نرم افزار کامپیوتر - کنگره ها,مهندسی نرم افزار - کنگره ها.
رده :
QA
76
.
755
.
S62
2015
E-Book
,
168. Solving Software Challenges for Exascale
پدیدآورنده: \ Stefano Markidis , Erwin Laure (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer software -- Development -- Congresses.,Supercomputers -- Congresses,نرم‌افزار -- تولید -- کنگره ها
رده :
QA76
.
76
.
D47S62
2015
E-Book
,
169. Spatial Information Theory
پدیدآورنده: \ [editde by] Sara Irina Fabrikant...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a04,a04,Geographic information systems -- Congresses.,Database management.,سیستم‌های اطلاعات جغرافیایی -- کنگره‌ها ,پایگاه‌‌های اطلاعاتی -- مدیریت
رده :
G
70
.
212
.
S6
2015
E-Book
,
170. < Special English for the student of computer= انگلیسی تخصصی برای دانشجویان کامپیوتر>
پدیدآورنده: / منوچهر حقانی.,حقانی
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: زبان انگلیسی,English language, -- کتاب‌های قرائت, -- Readers, -- کامپیوتر, -- Computer science,a06,a06
رده :
PE
۱۱۲۷
/
ک
۲
ح
۷
171. Special Topics in Mathematics for Computer Scientists
پدیدآورنده: \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
172. Structural Information and Communication Complexity
پدیدآورنده: \ Christian Scheideler (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a04,a05,a04,a05,Electronic data processing -- Distributed processing -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
9
.
S7
2015
E-Book
,
173. Technology and Practice of Passwords
پدیدآورنده: \ Stig F. Mjølsnes (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a02,a03,a02,a03,Computers -- Access control -- Passwords -- Congresses.,کامپیوترها -- کنترل دستیابی -- پسورد -- کنگره ها
رده :
QA
76
.
9
.
A25T4
2015
E-Book
,
174. Text Analysis Pipelines.
پدیدآورنده: \ Henning Wachsmuth
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Data mining ,Text processing (Computer science),Computer science,داده‌کاوی ,متن‌پردازی,کامپیوتر,a03,a04,a05,a03,a04,a05
رده :
QA
76
.
9
.
W32T4
2015
E-Book
,
175. <The> Language of Mathematics
پدیدآورنده: \ Mohan Ganesalingam.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational linguistics,Mathematical Linguistics,Computer science,زبان‌شناسی کامپیوتری,زبان‌شناسی ریاضی,کامپیوتر,a03,a04,a05,a03,a04,a05
رده :
P
98
.
G32L32
2013
E-Book
,
176. <The> Mobile Learning Voyage - from Small Rpples to Massive Open Waters.
پدیدآورنده: \ Tom H. Brown , Herman J. van der Merwe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,User interfaces (Computer system),کامپیوتر,رابط نرم‌افزاری,a03,a04,a03,a04,Education -- Data processing.,آموزش و پرورش -- داده‌پردازی
رده :
QA
76
.
M634
2015
E-Book
,
177. <The> Semantic Web
پدیدآورنده: \ [edited by] Fabien Gandon...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a04,a04,Semantic Web -- Congresses.,Database management.,وب معناشناختی-- کنگره‌ها ,پایگاه‌‌های اطلاعاتی -- مدیریت
رده :
TK
5105
.
88815
.
S4
2015
E-Book
,
178. <The> Unified Modeling Language user Guide
پدیدآورنده: \ Grady Booch, James Rumbaugh, Ivar Jacobson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software,UML (computer science),نرم‌افزار,یو. ام. اِل (کامپیوتر), -- Development, -- تولید,a03,a04,a03,a04
رده :
E-Book
,
179. Theoretical Computer Science and Discrete Mathematics
پدیدآورنده: \ [Edited by] S. Arumugam...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a03,a03,Computer security.,کامپیوترها -- ایمنی اطلاعات
رده :
E-Book
,
180. Theory and Practice of Formal Methods.
پدیدآورنده: \ Erika Ábrahám , Marcello Bonsangue, Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a04,a04,Formal methods (Computer science),Software engineering.,روش‌های صوری (کامپیوتر) ,مهندسی نرم افزار
رده :
QA
76
.
9
.
F67T46
2016
E-Book
,
